Some more changes concerning ThoughtAsEffects.