Apply cardinality

This is a complicated way of writing 0