Further modifications to the monadic (L3) ARM model.