Работающий на поверхности Марса аппарат InSight в течение длительного времени не может заглубить в грунт Красной планеты зонд HP3 (Heat Flow and Physical Properties Package), который неформально называют «кротом». Этот зонд, скорее напоминающий кол, а не крота, должен был вонзиться на пятиметровую глубину с помощью расположенного внутри ударного механизма. Предполагалось, что оттягивая подпружиненный ударник и отпуская его, «крот» сможет постепенно забить себя на требуемую глубину, чтобы доставить туда датчики.
