CHECKPOINT: IF and THEN implementations