rewrite with bindVars syntax