Will $PROS follow $NULS ?