Finite Witness

Edit a small finite structure and watch a handful of first-order sentences flip between true and false. Each sentence comes with a witness or a counterexample you can highlight.