This means we must tell user they cannot use these reserved names