implicant

not defined yet