Checkpoint: basic expressions.