the rooster on stilts is a reference to programming in coq, isabelle/HOL, rzk, etc. an imaginary $dayjob for a aged coder hiding in oregon's research maths/cs uni's stacks and service classes see also: category & model theories, and dynamical systems