Self-Describing Diagram

Edit a tiny finite structure and watch simple first-order sentences flip between true and false. Toggle axioms to close the relation and see what changes.