Spec Example 7.19. Single Pair Flow Mappings