simple tests of the assertion in p14 title