index - Ideals of Proof