Notion of analytic truth - Martin, Rm (1959)