Class InvariantBinding