A pulley is used to flip a large floating object upright in a pool.