⁴Note that failure in Converge is a concept inherited from Icon, and is not equivalent to raising an exception.