... imply U
First sentence lawgic: M -> U or /U ... imply M
Second sentence Lawgic: U-> M or /M ... the translation in steps: lawgic step 1: / (U->M ... not imply M
They would have been applicable for logic games, but it seems to be more for the logical reasoning section. Using what they call "Lawgic" (diagraming the parts of an argument) you can solve the harder logical reasoning questions.