Tiny Models

Write a small first-order sentence about P and R. A background worker searches for finite models and draws what it finds.