idealisation
not defined yet