One-Proposition Set – I17

This class belongs to an ongoing namespace that is only visible to members of the CRMinf project.