@Theory
 public void shouldHold(@ForAll @From(Ctor.class) P p) {
   assertFalse(p.box().marked());
   assertTrue(p.box().contents().marked());
 }