Comments by giac