Jump to content

class invariants