UCTL/Active Learning Theory