OLI Theory Artifacts & Applications