rewrite-obst