Lindell's Absolute Proof