Binding with negation operator