Marcos é juiz de direito ou André ganhou o processo eqüivale logicamente a dizer que: