出たよ、「yは置いているが定めていない」論法