checked bindings