Michael Stonebraker is very smart. I remember using his VoltDB back in 2012 (from memory) when NoSQL is all the rage. I wonder if VoltDB is the core of DBOS?