Simplify further with bindings