FHOL-Cut-Sheet