canonicity

not defined yet