Fascinating! Thank you. Perhaps eventually the work of Heidi Howard would inspire a domain model that would work for multiple consensus algorithms? Great work, visualizations help a lot