add invariants
add informations about classes