  We combinatorially prove Tetranacci, Tetranacci-Fibonacci, and additional
identities using only squares and dominoes on a hexagonal double-strip. Some of
these are new proofs of old identities, and others we believe have never been
seen before.
