Major reworking of how analytical properties are computed.