Rework prose and rebuild birds.md

1 files changed, 1 insertions, 1 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).