Remove another abandoned verification effort