universalisation

not defined yet