This is a confidential discussion.
For example, we discuss that parameter A can be divided into
1, a = 0,2 and a≠0. If a≠0 is discussed, when the proposition holds, the case of a=0 is not considered.
The discussion should be neither heavy nor leaked.
Topic: When the first switch is short-circuited, the proposition has been established. So don't consider other switches.