How does logic come about?