Binary not with first evaluation test and implementation