5 Comparison and branching operators