Logic is a science.