#a11 reasoning protocol