John Smith's submission of Anticommutative implication | CodeChef