Comments by theorem theory