With a simple swivel, the pieces spun around to transform the triangle into a square ... together with the categories, used proof by contradiction to find no matching paths.