subsume at d to avoid spurious skolem escapes