It's commonly used in proofs.