Pushed preliminary (maybe final) version of binder.