$conjecture->obviously_so == 1 && $conjecture->true == 0