WIP: Need the Interchange law...
WIP
WIP
Finally cracked that proof