Tiny Model Lab

Build a small directed relation on a finite set. Watch which simple first order sentences become true as you edit the arrows.