Method alias

Open invariants are information.