$PROVE

At least 5 times more space