Thank you! I don't think I have written about that anywhere! The names Baba and Keke come from an old psychology experiment where people were shown two shapes, a round and a spiky one, and asked to label one "Kiki" and one "Bouba". I'm pretty sure you can guess which way people preferred the label the shapes. :) Baba and Keke don't really have any meaningful relation to the experiment otherwise, but the inspiration for the names definitely came from there.