23c Discussion - Finding the Normal Form of a PCS

TBD