"Compact tactics with strong class friction and barely any wasted turns."
"Lean tactics with mean maps and almost no filler."