CC ALGEBRA 2 A_Hyland_S1