John Kohl, Atria Software