not.adl
1 2 !x 3 !x() 4 !!x 5 6 7 !-x.not() 8 x.not().not().not() 9 -x.not() 10 (-x).not() 11 -(x.not()) 12 (-x.not()).not() 13 !x.not() 14 (!x).not() 15 !(x.not()) 16 (!x.not()).not()
1 2 !x 3 !x() 4 !!x 5 6 7 !-x.not() 8 x.not().not().not() 9 -x.not() 10 (-x).not() 11 -(x.not()) 12 (-x.not()).not() 13 !x.not() 14 (!x).not() 15 !(x.not()) 16 (!x.not()).not()