init (and A (not B)).clj