We would also like to thank past members of the working group: Jeremy Carroll, Jim Hendler, Vipul Kashyap.