Skills vs. knowledge – formalizing how agents need both · HackerTrans