Working draft system. See SynopsisSpec.scala for details.