Add Duncan.v, other minor changes