Pre-deployment auditing can catch an overt saboteur | aib vote