Reminds me of the time I was trying to write an expression to represent the largest possible number before an inaccessible integer that would still be represented by itself when added to even when considering possible combinations of variables factored in... I think I accidentally found the smallest number instead, though I didn't get a chance to finish it to have it checked.