. . . . "contra"@ast . .