I admit it takes a minute to grok, and the example of a_square being a rectangle but not a square added some unnecessary confusion.