refined algebra compatibility