particularisation

not defined yet