13. Applications of equation pairs