FAILURE: Refinements don't actually work :'-(