Another small refinement to the monadic (L3) ARM model.