joked—said something funny or teasing; made a joke