代入は述語ではないわけだが…