fully unescaping theorems