Acquittal: Induction Wiki/Libraries