Description of the properties shared by protocols defined in http://if.fault.io/chapters