BKS_theory loading ...