Checkpoint: Validity