Refined progn.