Verification Should Ask Less, Not Know More?