Harvey is about four years old, near 900-960 employees, around 2,000 customers and roughly $300M ARR. The key signal is that product build cycles are compressing while the company…