fixed some explanation problems for the core theory; still slow