User blog comment:King2218/Infinite Extensibility/@comment-5029411-20140313225530

n <- n ~ f_{w^2+1}(n)

63 <- 63 ~ Fish Number 1