LSVerifier: