The interchange law for horizontal and vertical composition, "proof" using whiskering. This video is a bit quiet and a bit fuzzy and we'll probably replace it with an improved version soon.
No download links available.