Finite Structure Sketchbook

Draw a small directed graph with a predicate, then watch first-order sentences flip between true and false as you edit the structure.