code => socratic