ParentFull threadbugsy·In the paper he states "I also prove the converse", meaning the iff clause is justified.View on HN