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