NOR & NAND propagation and justification