Why are there two `^`s?