How is gravity discovered?