Auto-Verifying of Sigs