Available Subtitles for 3.9 3.9 Busy Beaver Functions and the Decidability Frontier: