: Rochinia carpenteri.