Can you explain to me why this wouldn't work without the directive statement? Previously I simulated simple stuff like CD4093, and monostable vibrators (CD4538) and these all worked without adding anything but the model onto the draft. All these models are from the same group (CD4000), yet only the binary counter needed the statement?