"prove"^^ . . . .