Ivanhtp presentations