Comments by automath