Ted Cruz just made a really funny joke on Twitter, seriously