SE: We hear a lot about advancements in data centers, new technologies like CXL and HBM. Formal has always been limited by the amount of memory that it needs and the amount of compute that it needs.