Function boundariesFullyDefined