theory section rewrites