This could just be ``check(assert_no_smses)``?