I bet either their comp was very high due to their tenure relative to their output, or they spent too much time at the same level and weren't showing upward trajectory. I know that you only need to be an L4 officially to get past the up or out stage, but that doesn't mean that they won't find people to lay off who have been an L5 for 12 years