cot: variable names are important