 On Frege’s view, the proposition that Mary sang has a functional component corresponding to ‘sang’ and an argument corresponding to ‘Mary’, even if the English sentence ‘Mary sang’ has ‘Mary’ as its subject and ‘sang’ as its predicate. The proposition can be represented as follows: \(\textrm{Sang}(\textrm{Mary})\). Frege thought of the relevant function as a conditional mapping from individuals to truth values: \(\textrm{Sang}(x) = \textbf{T}\) if \(x\) sang, and \(\textbf{F}\) otherwise; where ‘\(\textbf{T}\)’ and ‘\(\textbf{F}\)’ stand for special entities such that for each individual \(x\), \(\textrm{Sang}(x) = \textbf{T}\) if and only if \(x\) sang, and \(\textrm{Sang}(x) = \textbf{F}\) if and only if \(x\) did not sing. According to Frege, the proposition that John admires Mary combines an ordered pair of arguments with a functional component that corresponds to the transitive verb: \(\textrm{Admires}(\textrm{John}, \textrm{Mary})\); where for any individual \(x\), and any individual \(y\), \(\textrm{Admires}(x, y) = \textbf{T}\) if \(x\) admires \(y\), and \(\textbf{F}\) otherwise. From this perspective, the structure and constituents are the same in the proposition that Mary is admired by John, even though ‘Mary’ is the grammatical subject of the passive sentence. Likewise, Frege did not distinguish the proposition that three precedes four from the proposition that four is preceded by three. More importantly, Frege’s treatment of quantified propositions departs radically from the traditional idea that the grammatical structure of sentence reflects the logical structure of the indicated proposition.