Category tree for Proof