a basic version of (and A (not B))