Category / Proof's journey