Intersections of Formal and Informal Science