Tekstiviesti: Tests and proofs :