added theoryvar