Used Theorems & Thaumaturgy OGL.