P :=
4 5
1  -1  -2   0   1
1   1   2   1  -1
1   0   1   0   0
1  -1  -4  -2   2

;
assert((card P) = { 2 });
