Verification suit