Archived tweet #10164 from the @leastfixedpoint Twitter Archive

@fanf Yeah! Proofs about graphs are hard(tm) though - the main weakness in the paper is that the conjectures remain conjectures, pending learning more proof techniques