$PORTAL is empty; the dog dealer can't push it up, because everyone thinks it will go up, so the dog dealer won't push it up.