implying

not defined yet