lec22, upd lec21, new link on cardinality