empty attributes of binders