make and-not operator work/test pass. atg.