And Formal Semantic Logic