Some Definitional Formulations