If identity between a proposition and a fact is truth-constituting by necessity (as Frege-inspired i...