Finished adding functional mechanism for propSet. Added p$ and e$.