Conjugate prover in Portuguese with Mate