Samuel
@samuel.fm
very simple but it makes reasoning about state transitions much easier
3