Dimensioning Systems Add Efficiency to LTLs