naturality

not defined yet