ミニストップって、小さいストップだから、要するにポンピングブレーキって認識でよろしいですか?