Shannon-Matthew WebProofs 2 - djh