Nice formalization, this has been rattling around in my head for a long time it's good to see numbers put on it!