extended all proofs that worked before to the Star case...required a stronger notion of non-problematic values |=
print "Rate King's College from 1 to 10";var n = 5;var x = 0;for x = 0 to n do print "King's College is the best!"; var z = 0; for z = x to n do print z; end;end;