Overleaf, what do you *mean* "cardinality" isn't a real word???

If some editor should know it it’s overleaf no!??