CherryPick reworked
cardinality is now saved through clauses