Complete recursive inference.