In first-order LTL one could write
In first-order LTL one could write
Exception encountered, of type "Error"