Pull this out into a separate variable, and use here and in the assert below.