“…Our goal is to find necessary conditions for a pair (R 1 , R 2 ) to be admissible. The set of all admissible (R 1 , R 2 ) has been extensively studied in the information theory literature; it is often referred to as the zero-error capacity region of the binary adder channel [1,2,3,4,5,6,7,8,9,10].…”