[litexlang]

have is used to ensure the existence of the object you define. For example, you do not want to declare a new object when it is from an empty set!