Thread:Prof. Draco/@comment-24588058-20150728205926/@comment-4273152-20150729030846

If you want to make that a mini-story, please go ahead. Add it to the agent logs ig you like, perhaps in a 'misc. agents' section.