Binding and attempts with def-db