User blog comment:Hyp cos/DAN not into Taranovsky's notation/@comment-32697988-20180707100826

How is this proof related to DAN? Also does this mean DAN is stronger than TON?