propositions-logos