[math-fun] Fold, punch, cut