User blog comment:Simply Beautiful Art/Feferman's theta extended to weakly compact cardinals/@comment-34422464-20190828002614

wheres the comparison algorithm?