Text this: O prover︠i︡a︠i︡ushchikh testakh dl︠i︡a logicheskikh skhem /