Add editable r1, r2, and r3 to Overview
Add some (commented) failing invariants for testing