semilinear: offsets should not use a Divider