No.11993695 ViewReplyOriginalReport
I postulate a new conjecture: that all concepts are rederivable. You just need to formalise derivability and I suspect you could get the proof.