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