Results for "Language for the On-Line Investigation and Transformation of Abstractions"