Reference for Shevuot 32:5

והשתחוה או ששהה כדי השתחואה: אמר רבא לא שנו אלא שהשתחוה כלפי פנים אבל השתחוה כלפי חוץ שהה אין לא שהה לא

- R'Eleazar [b. Shammua'] argued thus; Since tabernacle is called sanctuary, and sanctuary is called tabernacle, let Scripture write either in bo verses sanctuary, or in both verses tabernacle;<span class="x" onmousemove="('comment',' And from the superfluous verse we could deduce the case of uncleanness occurring inside.');">⁹</span> why [does Scripture write] tabernacle and sanctuary?

Jastrow