Started to add second proposition, and of course found the diagrams couldn't tell each other apart, and naming conventions that I felt were lacking.