happy. timing and typesetting and encoding. woohoo~