Summarize how speculative decoding preserves exact greedy output.