implicitness

not defined yet