eddington reflection derivation
sobolev reflection derivation