en:indefinite_logic