reproving, partway through semantics_has_meaning