Proof reading DSL