A company with 5 developers could potentially downsize to 3 developers using AI, while improving overall velocity. Would you agree?