Stupid cardinalization...