a를 막는 b ㅣ, b 를 막는 c ㅣ, c를 무효화 라는 a+, a+또한 막는 b+