I didn't check but I thought they included lean certificates. That seems like an obvious thing to do. How do we even know any of this is right?