where the ordinary
is refined.

refinement no. 1