The formalization earns its keep by generating falsifiable claims: