PF FAQ Material: Binat for Overlapping Address Space (IPSEC / VPN)
There should probably be an example of how to use complementary binat
statements to resolve overlapping address allocation; specifically in
traditional wired LANs, but more importantly (the most likely use of binat
anyway), Intra-organizational IPSec VPNs, or any administrative realm of
RFC1918 space assignments.