I guess they solved the trolley problem internally
1e1,000,000 lines of lean. Just needs human review.