Example 7.
Embedded directed progressions