implication [noun] + derive [verb]