Select a run and problem to begin exploring diverse logical strategies.