raw/concept/kbhyao_s_next_bit_prediction_lemma.md history