Sagan Logic