r8

Made theories learnable