More work on dosum notation