Refinements and main -> runner