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