work on refinement (esp. alternative)