Takara Proofs