Rethinking the Assertions Dialog