Henningsen’s testing numbers