Shmi comments on What kind of thing is logic in an ontological sense?