implie

See imply