ii) One says that history H is recoverable if, whenever transaction T; reads (some item .x) from transaction T; (i+j) in H and occurs in H, then C; 'G.T; "reads x from" T, in Hiff 1. W/(x)