 There exist axiomatizations of the lawless sequences, and they all contain extensions of the continuity axioms (Kreisel 1968, Troelstra 1977). In particular in the form of the Axiom of Open Data stating that for \(A(\alpha)\) not containing other nonlawlike parameters besides \(\alpha\): 