= 4 4 # --> 1 = 4 5 # --> 1 ↧ 1 0 # --> 0 ↥ 0 1 # --> 1