finish proof of semantics_has_meaning