normal/poisson proofs