そろそろ不適合性パラドックス流すか