User blog comment:Alemagno12/Huge Ordinal Analysis/@comment-1605058-20180203102941/@comment-30118230-20180204125252

If it does make a difference in the "large large cardinals",then shouldn't it have a higher PTO.