remove u from WITH, u is not yet bound