Here’s a fun exercise I hope seqfans might enjoy: Given real numbers j,k,n such that j+k equals n+1, find a set of assumptions such that (j+k)^2 does not equal (n+1)^2.