Identifiers and comments translated to english for the ACO lecture