Updated Ic and changed assumption, show, and assume