P :=
1 2
1 -1

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