Example 7. Embedded directed progressions