Δu = 0 in 2D iff u = Re(f) for holomorphic f locally. Mean-value property, maximum principle, Poisson kernel on disk.