Abstract: The existence of optimal binary self-orthogonal codes has been well characterized. In this paper, we develop general methods involving residual codes and the MacWilliams identities to prove ...