Shard office space. Reformer newstead. Proof of halting problem. Camster chats.