Pen computing = logical consequence?