idealizations

not defined yet