It could be nice to have an example with abnormals to show how to deal with $p^0$. We can also augment the system.
It could be nice to have an example with abnormals to show how to deal with$p^0$ . We can also augment the system.