More work on Duncan.v