Reasoning of closure