Abduction/control of logic.