>>522
関係ないよ。addが何であろうと述語であることには変わりない。