Frege's analysis shows 'S is P' expresses a function-argument structure, not a unity of diverse enti...