Fixed backsubstitution type