cleaned up logical not token spec