porter , 2 d:o diveree : J .F.