devastandae