https://wcdc.io/writing/state-space-explosion