Template:Did you know nominations/Advanced Logic Research