Added reasons to proof conclusions