Less ltac, less LOC overall.