Simplify some proofs about addresses.