mechanized: Add Comment