What if he had texted "👍🤣🤣🤣" or "👍 jk"? Or if the snarky thumbs-up was implied by the texter? There's a heck of a lot of room for ambiguity.