To understand the event "If John and his brother are both named John.", it is important to know that John and/or his brother are typically called by another name other than John.