unique fails on any term with quantifier, will now start a redevelopment of Unique pushing through changes described in README.