                   0 | o ==>   0
                   1 | o ==>   1
                   1 | o ==>   0
