#theory refinement