Text this: Intensional programming I :