Independent of this example: should we add a cons and getter, which directly sets the DOP?