Formalized object members