introduced but-multiplier property