P :=
3 4
   1   1   0   0
   1   0   1   0
   1  -1  -1   1
;
assert((card P) = { 3 });
