UNFAMILIAR-THEORY - Make an unfamiliar theory usable

• Situation: A theory offers a useful construction or result, but you cannot yet assemble and interpret its application to your question.
• Question: How can you obtain the needed consequence and use it?
• First useful result or blocker: A worked application with an interpreted answer, or the missing operation, premise or correspondence that directs the next contribution.
• Mantra: Recover the question the theory helps answer. Connect its objects and rules to one case. Obtain the construction and reconstruct the decisive argument. Compare the corresponding operations when using another representation. Apply the consequence; use what suffices or identify the remaining question.
• Start with: B.5.TU for application construction. B.5.RC and B.5.RA supply construction and argument recovery, A.6.3.RT an operative expression, and C.29.1 result transfer. Use C.39 for a missing way.
• Stop or return: An adequate supplied result can enter where needed. Stop when its interpreted consequence answers the question. If a premise changes, follow its effect instead of repeating unaffected work.