proof of correctness now includes vectors