פירוש על שמואל ב 6:7

Because of his mistake. Because of his mistake, he should have expounded a fortiori [as follows:] the Ark carried its own porters in the Yardein,⁷When Bnei Yisroel crossed the Yardein into the land of Yisroel as stated in Yehoshua 4:11 and explained in Sotah, ibid. isn't it all the more so [that it is able to carry] itself.