Linear Ic Applications by Joseph Carr