What about engineering (CompE or CSE)? Will the proofs be worse in a Computer Engineering degree vs. a CS degree?