Add cardinals, comment on models