Introduction to if