discussion:en:indefinite_logic