JHA - FINGAL PROOFS 1