Intrepid Logic