add And_, Not_, Or_