Further update to monadic (L3) ARM model.