Possibilities and real possibilities for a theory of reasoning