diss: concluding summary and discussion, and hierarchical ref update
diss: more concluding
diss: concluding discussion
diss: concluding shape discussion
diss: concluding set shape anteater
diss: small stuff in concluding