yay, new boolean resolution approach works