Citation & Local Proof Building