 In (Troelstra 1977), a theory of lawless sequences is developed (and justified) in the context of intuitionistic analysis. Besides axioms for elementary analysis it contains, for lawless sequences, strengthened forms of the axioms of open data, continuity, decidability and density (density says that every finite sequence is the initial segment of a lawless sequence). What is especially interesting is that in these theories quantifiers over lawless sequences can be eliminated, a result that can also be viewed as providing a model of lawlike sequences for such theories. Other classical models of the theory of lawless sequences have been constructed in category theory in the form of sheaf models (van der Hoeven and Moerdijk 1984). In (Moschovakis 1986), a theory for choice sequences relative to a certain set of lawlike elements is introduced, along with a classical model in which the lawless sequences turn out to be exactly the generic ones.