This paper motivates a substantive point linked to Gricean remarks on irony: an ironical utterance interpretation needs two diverse second-order theory of mind uses. The motivated methodological point regards the link between experimental philosophers' studies and armchair philosophers' thought-experiments.