I was trying out the 6.0 beta with a rule like: -if class Foo { void foo1(); void foo2(); } -keep class Bar Where foo1() and foo2() both reflect on Bar. I was expecting "if foo1() OR foo2()" symantics, but it's "if foo1() AND foo2()" symantics. Is this intentional? Could it be the OR symantics instead?