Collection of various rewrites for our dontator system