boilerplate for invariance check