Complements to a theorem of Gherardelli: the postulational viewpoint