Using Monus Ponens in TfL Forall X