IF @1 is a test

It is implied true and voted false that IF @1 is a test THEN @1 works the first time
Vote as true
Vote as false
Vote as unknown

It is implied true and voted false that IF NOT @1 works the first time THEN NOT @1 is a test
Vote as true
Vote as false
Vote as unknown

It is implied unknown and voted unknown that IF @1 is a test AND @1 is this THEN @1 will succeed
Vote as true
Vote as false
Vote as unknown