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