. "2"^^ . . . . . . . "contrafactor"@pt .