What simple machine would solve Hoth and Dagobah's problem?