intro to cs: g ionian (red form)