This can be proven for any valid argument form using a truth table which shows that there is no situation in which there are all true premises and a false conclusion.
Founded in 1994, IntraLearn Software Corporation (ISC) is a pioneer of creating e-Learning and Knowledge Organization products for corporate enterprises, academic institutions, associations, government agencies and training suppliers.
InterSystems was founded in 1978 by Phillip T. (Terry) Ragon, its current CEO as of 2015. The firm was one of the original vendors of M-technology (aka MUMPS) systems, with a product called ISM. Over the years, it acquired several other MUMPS implementations: DTM from Data Tree (1993); DSM from Digital (1995); and MSM from Micronetics (1998); making InterSystems the dominant M technology vendor.