Updated Ic and changed assumption, show, and isComplete