A formal degree and algorithmic problem-solving is the answer. Always has been