Text this: Tests and proofs :