With a simple swivel, the pieces spun around to transform the triangle into a square ... used proof by contradiction to find no matching paths. Smith College computer scientist Joseph O’Rourke ...