For sure, proving things even just as a sanity check is definitely interesting (and sometimes things we think are "intuitive" turn out to be false or at least i

For sure, proving things even just as a sanity check is definitely interesting (and sometimes things we think are "intuitive" turn out to be false or at least intractable to prove).