C-Bool and Andrew Spencer