add a post - exculpation, closure and abstraction