let variable forbidden =
    fresh (Variable forbidden)