SpAce wrote:Hi Steve,SteveG48 wrote:3r5c7 - (31-6)r4c89 = (689)b4p256 - (6|9)r8c2 contradiction => r5c7 = 3
I like the idea, but I think it needs a strong link at the start and a comma. How about a bit shorter:
I had a strong link in my first version; just got a typo in the second. I agree with the comma.
I like your shortened version.