8.2 Separation Requirements for Logic Solvers