Enrique Meseguer presentations