dsl simplifications