Before revision:  Our general results concerning VER do not just apply to allocation problems but to any collective choice problem in which agents have ordinal preferences over discrete outcomes.
After revision:  Our results about VER do not just apply to allocation problems but to any collective choice problem in which agents have ordinal preferences over discrete outcomes.