The salary of teaching logic