Title: Proof spirit tables