P :=
0 2

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