back to enriques clearer syntax