ISSTT paper, simplifications we make.