Implement Regula Falsi. TODO: Illionois.