In August 2007 he along with Karsten Stegmann and Frank Fischer have studied knowledge equivalence and knowledge sharing results of which by December of the same year showed that the collaboration scripts can improve formal quality of both single and sequential arguments. في أغسطس 2007، قام مع كارستين ستيجمان وفرانك فيشر بدراسة معادلة المعرفة ومشاركة المعرفة التي أظهرت بحلول ديسمبر من نفس العام أن مخطوطات التعاون يمكن أن تحسن الجودة الرسمية لكل من الحجج الفردية والتسلسلية.