Correction

1) v^t -> V^t (same signature for the two functions, one over a single
element 'o', the other on a single set)
2) Problem domain 2nd paragraph revised