But, in that case, shouldn't they be using | here?