Debugging the Link between Social Theory and Social Insects