Echo error example. Käypähoito. How to prove a bijection between two sets. Jacto South Africa.