P :=
1 3
0 2 -1

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