numbering claim in p6, final