Quite often these are written lowercase, do we want to specify case-insensitivity here?