Rework prose and rebuild birds.md

2 files changed, 5 insertions, 5 deletions

diff --git a/doc/birds.md b/doc/birds.md
index 26c122c6..fe7fc5cb 100644
--- a/doc/birds.md
+++ b/doc/birds.md
@@ -25,4 +25,4 @@ Lambda calculus doesn't have BQN's polymorphism on one or two arguments, so each
 
 Inputs are mapped to lambda calculus arguments according to the ordering `𝔽𝔾𝕨𝕩`, and `GFH` for a 3-train `F G H`. For example, when I write that the combination `𝕨 𝔽˜ 𝕩` corresponds to a call of `C` or `labc.acb`, `a` is `𝔽` and `bc` are `𝕨𝕩`.
 
-Note that the name "Pheasant" comes from [Hoekstra 2022](https://github.com/codereport/Content/blob/main/Publications/Combinatory_Logic_and_Combinators_in_Array_Languages.pdf). It was previously nicknamed ["Golden Eagle"](https://nitter.net/code_report/status/1440208242529882112#m) before Conor discovered Haskell Curry had introduced this combinator in his 1931 paper [The universal quantifier in combinatory logic](https://www.jstor.org/stable/1968422).
+Bird enthusiast Conor Hoekstra now claims what he originally mistook for a "[Golden Eagle](https://nitter.net/code_report/status/1440208242529882112)" is in fact a Pheasant. Announced in that [paper](https://github.com/codereport/Content/blob/main/Publications/Combinatory_Logic_and_Combinators_in_Array_Languages.pdf) mentioned at the top, the new identification is based on Haskell Curry's use of `Φ₁` for the combinator in a [1931 paper](https://www.jstor.org/stable/1968422).
diff --git a/docs/doc/birds.html b/docs/doc/birds.html
index 0a7168f2..80117496 100644
--- a/docs/doc/birds.html
+++ b/docs/doc/birds.html
@@ -84,12 +84,12 @@
 <tr>
 <td align="center"><code><span class='Function'>F</span> <span class='Function'>G</span> <span class='Function'>H</span></code></td>
 <td>Phoenix</td>
-<td><code><span class='Function'>S</span><span class='String'>'</span></code></td>
-<td>Golden Eagle</td>
-<td><code><span class='Value'>Ê</span></code>-like: <code><span class='Value'>labcde.a</span><span class='Paren'>(</span><span class='Value'>bde</span><span class='Paren'>)(</span><span class='Value'>cde</span><span class='Paren'>)</span></code></td>
+<td><code><span class='Value'>Φ</span></code></td>
+<td>Pheasant</td>
+<td><code><span class='Value'>Φ₁</span></code></td>
 </tr>
 </tbody>
 </table>
 <p>Lambda calculus doesn't have BQN's polymorphism on one or two arguments, so each BQN combinator corresponds to two lambda calculus forms depending on the number of arguments, giving the two columns of birds above.</p>
 <p>Inputs are mapped to lambda calculus arguments according to the ordering <code><span class='Function'>𝔽𝔾</span><span class='Value'>𝕨𝕩</span></code>, and <code><span class='Function'>GFH</span></code> for a 3-train <code><span class='Function'>F</span> <span class='Function'>G</span> <span class='Function'>H</span></code>. For example, when I write that the combination <code><span class='Value'>𝕨</span> <span class='Function'>𝔽</span><span class='Modifier'>˜</span> <span class='Value'>𝕩</span></code> corresponds to a call of <code><span class='Function'>C</span></code> or <code><span class='Value'>labc.acb</span></code>, <code><span class='Value'>a</span></code> is <code><span class='Function'>𝔽</span></code> and <code><span class='Value'>bc</span></code> are <code><span class='Value'>𝕨𝕩</span></code>.</p>
-<p>The name &quot;Golden Eagle&quot; is a <a href="https://nitter.net/code_report/status/1440208242529882112#m">fever dream</a> of bird enthusiast Conor Hoekstra, who saw it emerge disordered from the Bald Eagle when arguments <code><span class='Value'>fg</span></code> are set equal to <code><span class='Value'>cd</span></code>.</p>
+<p>Bird enthusiast Conor Hoekstra now claims what he originally mistook for a &quot;<a href="https://nitter.net/code_report/status/1440208242529882112">Golden Eagle</a>&quot; is in fact a Pheasant. Announced in that <a href="https://github.com/codereport/Content/blob/main/Publications/Combinatory_Logic_and_Combinators_in_Array_Languages.pdf">paper</a> mentioned at the top, the new identification is based on Haskell Curry's use of <code><span class='Value'>Φ₁</span></code> for the combinator in a <a href="https://www.jstor.org/stable/1968422">1931 paper</a>.</p>