#{userName}'s Timeline

$forall Entity _ (Post u c _ ts) <- posts
• #{c}
  Posted at #{show ts} by #{show u}