idealization

not defined yet