Talk:Semantic view of theories