Updated invariants. Violation throws IllegalStateException()

Frage-Kommentare reingeschrieben.