@andresmh @PrincetonCS I am so glad this worked out -- I helped connect the dots but was happily trekking in the Alps that day.