“Symbolics” (computability; backlinks)