Lógica Aplicada Avanzada, 6 de 6: Tribunales de bolsillo