Lean Teaching and Teaching Lean