What would it take to make Oedipus Rex into a comedy?