Sobolev extension via reflections.