Build-a-PWW — assemble the proof

The picture shows the lots; you build the identity. Choose how many of each kind of lot the picture holds, then let the engine check whether you accounted for every one — the twins are the easy ones to forget.