Add comment to inequalities typing test