ペトロフのパガ超が存在する時点でハワードは不要。