Reyniel_inding presentations