substitution is already mapped to be global