And that's the basic requirement for a semantic theory: map distinct statements to distinct contents.