Variable binding is optional