limitations: Simplifies proof.