strengthening for verification