Pen is out of ink. Oh well, it’s time to quit for the day anyway.