A calculus of angels (1999)