2 The MAD language and the briefcase domain