Turn claim 3 of simple-spec into an exercise#1

JKTKops wants to merge 1 commit intoruntimeverification:masterruntimeverification/zero-to-k-tutorial:masterfrom

JKTKops:patch-1JKTKops/understanding-k-framework:patch-1Copy head branch name to clipboard