Talk:Tauy/@comment-44851822-20200706213508

he's not the square root of a rational number