Paracomplete_logic