Proving and Disproving Equivalence of Functional Programming Assignments

which is greater, 𝛅(fac,programming course program) or 𝛅(programming course program, industrial program)? (imperative code becomes functional after SSA, so [pace oo] scalability is likely more of an impediment to usability)