4 ms·No, I made it all up. I wish I had time and interest to formalize it.by js8 3y agoNo, I made it all up. I wish I had time and interest to formalize it.