Ruy Rodrigues presentations