Class AndRefinement