This turns out to not be the case.