Given Exp, `= 1 -[1 - {1 - (1 - bar1 - 1)}]` `= 1 - [1 - {1 - (1 - 0)}]` `= 1 - [1 - {1 - 1}]` `= 1 - [1 - 0]` `= (1 - 1)` `= 0`