separating of complexity classes