debugging, add fix for NOT vs !: