The top documents tagged [class invariant true]