  We find a short equational basis for the variety of $3$-supernilpotent loops.
We also present a conceptually simple proof that $k$-nilpotence and
$k$-supernilpotence are equivalent for groups. Connections between
$3$-supernilpotent loops, Moufang loops, code loops, automorphic loops and AIM
loops are explored.
