Method

Method alias

Open invariants are information.