Refined ex1.