Default Category von Proof