: For the #FinalLogicContest