Figure 5.11 Circuit for Using Component Implication Directives on a Function