That `(exists)->exists` can just be `->` I think.