“proficiency-adaptive interface” is another name for Progressive reduction.