This one need not be lazy either.