Move $not combinator to L2