Initial version of PropCIs