We study preferences over procedures in the presence of naive agents. We employ a school choice setting following Pathak and Sönmez (2008) who show that sophisticated agents are better off under the Boston mechanism than under a strategy-proof mechanism if some agents are sincere. We use lab...