`->` Vì After + QKHT, QKĐ (Diễn tả một hành động xảy ra sau (QKĐ) một hành động khác (QKHT) ở trong QK)
- We ate luch (hành động đầu tiên). Then (sau đó), we went to Non Nuoc [...] (hành động tiếp theo) `=>` We ate luch diễn ra trước We went to Non Nuoc [...] nên We ate luch được đổi thành We had eaten luch (hành động khác) như trong công thức
