Fill the missing side.

A puzzle game about higher category theory. The only move is to complete a shape that has a side missing, and each level you solve is a proof.