Enter Hamlet and Horatio.