import csharp

select any(Modifiable m | m.isUnsafe())