Is the "in assertions to assertions" text correct?