Figure 8: Signal builder and assertion blocks.