Experiments in Abstraction