Mam thank you so much for your videos on this topic ... You made my concepts crystal clear ... I have a question tho ... In previous video u showed us 8 steps to convert in to prenix normal form ... But why r u only applying 5 steps in each example... Why haven't u applied scolemization , removing of universal quantifies and conjunction of disjunction?