HT tutorial trace 4: Goal state already achieved

soar> sp {ht*propose-space*ht
  (state <s> -^impasse ^superstate nil)
  -->
  (<s> ^name ht-state)
  (<s> ^thirsty yes ^hungry no)
  (<s> ^problem-space <p> ^desired )
  (<p> ^name hungry-thirsty)
  (<d> ^hungry no)}  ## this code modified to display in html
#*

soar> d

     0: ==>S: S1 
  goal for  S1 achieved 
System halted.