Explanations and examples for IterT and CoiterT