Tiancheng Lou's submission of Anticommutative implication | CodeChef