Andrey Kim's submission of Anticommutative implication | CodeChef