Create BinaryCardinality.py