Major revision in substitutability and preservation.