Absolute Proof Details