Hamlet Synthesis