From owner-freebsd-bugs Mon Jan 27 02:40:06 1997 Return-Path: Received: (from root@localhost) by freefall.freebsd.org (8.8.5/8.8.5) id CAA00333 for bugs-outgoing; Mon, 27 Jan 1997 02:40:06 -0800 (PST) Received: (from gnats@localhost) by freefall.freebsd.org (8.8.5/8.8.5) id CAA00315; Mon, 27 Jan 1997 02:40:04 -0800 (PST) Resent-Date: Mon, 27 Jan 1997 02:40:04 -0800 (PST) Resent-Message-Id: <199701271040.CAA00315@freefall.freebsd.org> Resent-From: gnats (GNATS Management) Resent-To: freebsd-bugs Resent-Reply-To: FreeBSD-gnats@freefall.FreeBSD.org, proff@iq.org Received: from profane.iq.org (profane.iq.org [203.4.184.217]) by freefall.freebsd.org (8.8.5/8.8.5) with ESMTP id CAA29829 for ; Mon, 27 Jan 1997 02:30:15 -0800 (PST) Received: (from proff@localhost) by profane.iq.org (8.8.4/8.8.2) id VAA24164; Mon, 27 Jan 1997 21:30:55 +1100 (EST) Message-Id: <199701271030.VAA24164@profane.iq.org> Date: Mon, 27 Jan 1997 21:30:55 +1100 (EST) From: Julian Assange Reply-To: proff@iq.org To: FreeBSD-gnats-submit@freebsd.org X-Send-Pr-Version: 3.2 Subject: bin/2600: fortunes : fortunes2 Lite2 merge Sender: owner-bugs@freebsd.org X-Loop: FreeBSD.org Precedence: bulk >Number: 2600 >Category: bin >Synopsis: fortunes & fortunes2 Lite2 merge >Confidential: no >Severity: non-critical >Priority: medium >Responsible: freebsd-bugs >State: open >Class: change-request >Submitter-Id: current-users >Arrival-Date: Mon Jan 27 02:40:02 PST 1997 >Last-Modified: >Originator: Julian Assange >Organization: >Release: FreeBSD 3.0-CURRENT i386 >Environment: >Description: >How-To-Repeat: >Fix: --- /usr/src/games/fortune/datfiles/fortunes2 Wed Jan 8 21:39:07 1997 +++ src/games/fortune/datfiles/fortunes2 Mon Jan 3 09:58:38 1994 @@ -12663,6 +12663,8 @@ % Caution: Keep out of reach of children. % +CChheecckk yyoouurr dduupplleexx sswwiittcchh.. +% CCI Power 6/40: one board, a megabyte of cache, and an attitude... % Celebrate Hannibal Day this year. Take an elephant to lunch. @@ -20431,10 +20433,10 @@ Call (511) 338-0959 for an immediate appointment. % -Hier liegt ein Mann ganz ohnegleich; -Im Leibe dick, an Suenden reich. +Hier liegt ein Mann ganz obnegleich; +Im Leibe dick, an Suden reich. Wir haben ihn in das Grab gesteckt, Here lies a man with sundry flaws -Weil es uns duenkt er sei verreckt. And numerous Sins upon his head; +Weil es uns dunkt er sei verreckt. And numerous Sins upon his head; We buried him today because As far as we can tell, he's dead. @@ -36422,6 +36424,26 @@ trivially equivalent, so the only important n are n less than n. We can take n = n (from above), so it's true for n+1 becuase it's just about n. QED. (QED translates from the Latin as "So what?") +% +Proof techniques #2: Proof by Oddity. + SAMPLE: To prove that horses have an infinite number of legs. +[1] Horses have an even number of legs. +[2] They have two legs in back and fore legs in front. +[3] This makes a total of six legs, + which certainly is an odd number of legs for a horse. +[4] But the only number that is both odd and even is infinity. +[5] Therefore, horses must have an infinite number of legs. + +Topics is be covered in future issues include proof by: + intimidation, + gesticulation (handwaving), + "try it; it works", + constipation (I was just sitting there and...), + blatant assertion, + changing all the 2's to n's, + mutual consent, + lack of a counterexample, and, + "it stands to reason". % Proper treatment will cure a cold in seven days, but left to itself, a cold will hang on for a week. --- /usr/src/games/fortune/datfiles/fortunes Sun Jan 26 21:25:54 1997 +++ src/games/fortune/datfiles/fortunes Mon Jan 3 10:14:51 1994 @@ -2518,7 +2518,7 @@ % Caution: breathing may be hazardous to your health. % -CChheecckk yyoouurr dduupplleexx sswwiittcchh.. +CChheecckk yyoouurr dduupplleexx sswwiittcchh.. % Cecil, you're my final hope Of finding out the true Straight Dope @@ -5320,10 +5320,10 @@ motto is: 'It is very difficult to disprove certain kinds of pain.'" -- Dave Barry, "Pain and Suffering" % -Hier liegt ein Mann ganz ohnegleich; -Im Leibe dick, an Suenden reich. +Hier liegt ein Mann ganz obnegleich; +Im Leibe dick, an Suden reich. Wir haben ihn in das Grab gesteckt, Here lies a man with sundry flaws -Weil es uns duenkt er sei verreckt. And numerous Sins upon his head; +Weil es uns dunkt er sei verreckt. And numerous Sins upon his head; We buried him today because As far as we can tell, he's dead. -- PDQ Bach's epitaph, as requested by his cousin Betty @@ -8579,8 +8579,8 @@ Malek's Law: Any simple idea will be worded in the most complicated way. % -Man 1: Ask me. "What is the most important thing about telling a good - joke?" +Man 1: Ask me the what the most important thing about telling a good + joke is. Man 2: OK, what is the most impo -- @@ -10547,7 +10547,7 @@ (4) But the only number that is both odd and even is infinity. (5) Therefore, horses must have an infinite number of legs. -Topics to be covered in future issues include proof by: +Topics is be covered in future issues include proof by: Intimidation Gesticulation (handwaving) "Try it; it works" @@ -16278,7 +16278,7 @@ "Yow! Am I having fun yet?" -- Zippy the Pinhead % -YOW!! Everybody out of the GENETIC POOL! +YOW!! Everybody out of the GENETIC POOL!" % Zero Defects, n.: The result of shutting down a production line. >Audit-Trail: >Unformatted: