Is elastic a big company? I’d put them somewhere between small and medium…
4,000 employees (pre layoff). That’s quite large.