RT AA A1 Crimmins, Kem T1 (Logics of Thinking) Transforming Necessity: Trancendental Logic after Cavailles