Coaxing a Program into Existence