Bowen Yu's submission of Anticommutative implication | CodeChef