SLD Verification