Further update to the monadic (L3) ARM model.