Verify experimentally all theorem in chart paper.

ok. now what?