refined bindings