Crazy. Never seen `assumeTrue` before.