definiens

not defined yet