Started to process internal propositions (involved with resynthesis)