Been studying so much recently that I’ve been having dreams about doing inductive proofs 😩