[solveit]

I think mathematicians looking at that expression would curl their lips in mild disgust, but also evaluate it to True.