exchanged 'if' with 'assumeTrue'