Updating more semantics