:nat :nat :nat
Dance banana! Dance!