x1 (proposition) is asserted once it contains within the given context no errors otherwise x2 (proposition) is asserted
Corresponds to exception handling in programming languages. Errors may include checking for semantic errors, type errors; for checking for grammar errors use lo'u. See also ifle, srera, smudra.