There are just two main
Looking historically at the overlaps between state we can see that state could be contained in
Other examples on the messages and update approach: