One might imagine a Christian student ignoring that possibility because the building would presumably be de-sanctified. Most of the things characters in normal

One might imagine a Christian student ignoring that possibility because the building would presumably be de-sanctified. Most of the things characters in normal stories do are going to be for practical reasons. Requiring that students find symbolic value in every detail is silly.