add another agreement bug
experimenting with using (deref (future)) within (unify)