Perpendicular lines and angles