Language for checking and explaining (for upper-intermediate students)