Sometimes It seems that some concepts like "bit blasted", "refinement"... appear natually but a bit confusingly, How to understand them correctly and eas
