dsl formatter & proposal provider