Version 1 of #5433

Neil Hudson says the bounty “would require programming the creative process by which relevant variations are conjectured in the first place.”