NAT meets bool NAT