I ran out of tokens! Here is the result so far: - we have models based on type-generating-functions, that we can argue about their internal logic based on Or, And, and Assembly index. - It also…