Formal model of time entry (aggregation → composition) | Hacker News Reader