$PNUT is indeed too weak