prove semantics_has_meaning