Gibbard’s Theorem vs. Stable Matching · HackerTrans