understanding guaranteed analysis