Happy 11/11/11! Also, Veteran’s Day! This is somehow related…