Introduction to equivalent expressions