Pushing template for theory updates