Tiny Model Checker

Build a small structure by toggling P and R. Type a formula and see if it is true here.