Do note that laid off engineers are typically from teams that have overhired and where we don't have plans to grow, as well as engineers who did not get a good rating and are less promising. It is sad nevertheless.