simplified an assertion