continue hitting postulates