Cases for Eugene Martin Gelernter