5 A proposition is a truth-function of elementary propositions.

(An elementary proposition is a truth-function of itself.)

Frascolla (p. 118): “The principle which is enunciated at 5 is universally known as the Thesis of Extensionality.”

The parenthetical remark here seems eyebrow-raising to me.