Observations for the next TCC text. Try to fix it during vacations.