Added invariant descriptions, enlarged margins