Simplifies proof, provides another example.