(The Egyptians invented the pulley, incidentally.)