"etym p.536 straffer. Animaduersor, punitor. ]" . "etym p.536 straffer...." . .