“…In the language of LS, x, y, x t ,... vary over natural numbers, m, n, m x ,... over finite sequences of numbers, a, b, a t ,... over lawlike sequences, e, f, e l 5 ... over K, and a, P, y, a 1 ; ... over lawless sequences. Slightly modifying the notation of Troelstra [1977], and choosing his starred form of the axiom of open data, we may state the new axioms as follows. In LS3 and LS4, A must contain free no lawless variables except those explicitly shown.…”