We use the Moore Method at UT. We started with a series of axioms and over the duration of the semester we built and proved ourselves as a group every theory. And only those theories successfully proven by the group were admissible on tests. It was rad as hell.