PROOF RESEARCH / TAC Ⅲ