devertendum