(RULES  0 0 0 0 -> 1 0 1 1 , 1 0 0 1 -> 0 1 0 0)