implication [noun] + must [verb]