Make And, Not, Or and Xor specifications internal