Switched to inner forms for refinement check