counterexample to shotgun1. @TiarkRompf -- we need more context, any suggestions?