erse fu'ivla

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.