algebraic: underpromotion