Laws in finite loops