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