Refinements
Debugged.