SIMPLICITER

Definition of SIMPLICITER