Directions: For each pairs of Examples below, decide whether the two examples have the same contract. If they do, fill in the contract in the space provided. If not, write a few words explaining why.

  1. ; : ->
    (EXAMPLE (mystery 30) (* 30 50)) (EXAMPLE (mystery 10) (text "Welcome!" 10 "darkgreen"))

  2. ; : ->
    (EXAMPLE (mystery 30 40) (- 40 (* 2 30))) (EXAMPLE (mystery 10 15) (- 15 (* 2 10)))

  3. ; : ->
    (EXAMPLE (mystery "New York") (text "New York" 20 "red")) (EXAMPLE (mystery 20) (text "New York" 20 "red"))

  4. ; : ->
    (EXAMPLE (mystery "green" 32) (circle 32 "outline" "green")) (EXAMPLE (mystery 18 "green") (circle 18 "outline" "green"))

  5. ; : ->
    (EXAMPLE (mystery 6 9 10) (/ 6 (+ 9 10))) (EXAMPLE (mystery 3 7) (/ 3 (+ 7 10)))

  6. ; : ->
    (EXAMPLE (mystery "red" "blue") (text "blue" 25 "red")) (EXAMPLE (mystery "purple" "Go Team!") (text "Go Team!" 25 "purple"))

  7. ; : ->
    (EXAMPLE (mystery (circle 55 "outline" "black") 12) (scale 12 (circle 55 "outline" "black"))) (EXAMPLE (mystery (rectangle 24 32 "outline" "purple") 5) (scale 5 (rectangle 24 32 "outline" "purple")))

These materials were developed partly through support of the National Science Foundation, (awards 1042210, 1535276, 1648684, and 1738598). CCbadge BS:Games by Jen Poole, Emmanuel Schanzer, Ed Campos Jr, and Dorai Sitaram is licensed under a Creative Commons 4.0 Unported License. Based on a work at www.BootstrapWorld.org. Permissions beyond the scope of this license may be available by contacting schanzer@BootstrapWorld.org.