:nat :nat :nat
:nat :nat :nat
:nat :nat :nat
Dance!