ajusted or() behaviour when Z is input