Add ZZ3.bool.