public String toString() {
   return "[W: " + inst.toString() + "]";
 }