Expectation to Hopeful Strings and Synth

Expectation to Hopeful Strings and Synth