( :?names
& (   get$("students.xml",X,ML)
    :   ?
        ( ( Student
          .   (? (Name.?name) ?,)
            | ? (Name.?name) ?
          )
        & !names !name:?names
        & ~
        )
        ?
  | !names
  )
)