commit of verification long standing branch

Hmm...true. Although, if you want to be thorough, you should also call simplify().