Fleshed out get_high_temperature(), but still errors