Cuatro son esenciales para el caso del estudio de iteración , ottr , triangulación , y gobernando las explicaciones rivales .
Cuatro son necesarios para demostrar que las explicaciones rivales no pueden suceder debido a la gravedad .