use seq_Basic rather than unify_Basic