We seem to have developed a convention of capitalizing "Pulp".