Steven leads the group in developing tools for deductive analysis, a discipline well suited for secondary classrooms