some progress towards a binding