proving (174.999)