CT is almost designed to just wrap up "ugly" details in cute proofs after the fact. I think theres a real danger of students getting a false sense of understanding if they dont know how to contextualize this kind of stuff.