Numbers I've coined using Phenol notation