Definition of Simpliciter