Ambiguity Proofs consist of an array of extended notes which don't fit within a specific project but are nonetheless interesting. Thus the ambiguity. Whatever proof there may be, is the research.