How does this disagree with "the base language must be total and can't be Turing complete"