FIC Sample Clauses
The FIC (Force-In-Contract) clause is designed to ensure that certain terms or obligations remain binding and enforceable within a contract, even if other provisions are found to be invalid or unenforceable. In practice, this clause typically specifies which parts of the agreement must continue to operate regardless of changes to other sections, such as payment obligations or confidentiality requirements. Its core function is to preserve the essential elements of the contract, thereby maintaining the parties' key commitments and reducing the risk of the entire agreement being voided due to the invalidity of a single clause.
FIC. The obligation of FIC, First Indiana and Merger Sub to consummate the Mergers is subject to the satisfaction and fulfillment of each of the following conditions on or prior to the Effective Time, unless waived in writing by FIC:
FIC. Bellamar is the owner of three hundred and twenty-four million, five hundred and one thousand, one hundred and fourteen (324,501,114) registered common shares, with no par value, representing 35.76% of the FIC’s capital (“FIC’s Shares”), which are and shall be on the Effective Spin-off Date free and clear of any Burden, except for the Association Agreement entered into on October 27, 2004 between CBD, FIC, Itaú Unibanco Holding S.A. and certain other parties, as amended and in force (“Association Agreement”), as well as the Shareholders’ Agreement entered into on October 27, 2004, as amended and in force (“FIC’s Shareholders’ Agreement”). Except for the Association Agreement and FIC’s Shareholders’ Agreement, there is no agreement, registered or not with the FIC’s head office, of any nature, which would directly or indirectly bind the FIC’s Shares, or which would limit the political and/or equity rights of the FIC’s Shares; and there are no options, rights, commitments or other covenants of any nature, or other notes that could directly or indirectly require the sale or transfer of the FIC’s Shares.
FIC. Transition from game G0 (left) to game G1 (right), showing a setting where P1−i is corrupted. These modifications later allow to extract unique inputs from values ob- tained from the two functionalities. Especially, note that uIC will never contain (∗, ki, ∗, ∗, E, c), (∗, k1−i, ∗, ∗, E, c) with ki k1−i. The entry α serves Since q is greater than 2λ, if the oracles are only queried a polynomial num- ber of times, the birthday problem states that game G1 and game G2 are indistinguishable with probability overwhelming in λ. S 7 P 7 Game G3: Building 7iPAKE. In this game, we start modeling 7A-iPAKE. First, we let 7 maintain two initially empty lists: uP , a list of tuples of the form ( i, pwi) and uL, a list of tuples of the form ( i, l). Upon receiving a query (NewSession, sid, pwi, l) from (dummy) party i, if this is the first NewSession query, or if this is the second NewSession query and there is a record (P1−i, pw1−i, l′), then 7 records (Pi, pwi) in uP and marks this record as fresh. If uL does not contain any record (Pi, ·) so far, 7 also records ( i, l) in uL. Then, relays the query (NewSession, sid, pwi, l) to . Now that knows about pass-strings and labels, we can add a TestPwd interface to as described in Figure 7. We let parse outputs (sid, l′, ki) towards to be of the form (▇▇▇▇▇▇, sid, i, l′, ki) by adding the NewKey tag and the name of the party who produced the output. Additionally, we let 7 translate this back to (sid, l′, ki) and send it to Z via the dummy party Pi, marking the corresponding record as completed. None of these modifications changes the output towards compared to the previous game G2. Game G4: 7 generates a random session key for an honest, inter- rupted session. Upon receiving a query (▇▇▇▇▇▇, sid, Pi, ki) from S, if Pi is not corrupted and there is a record of the form (Pi, pwi) that is marked as interrupted, and this is the first NewKey query for Pi, we let 7 choose a random session key k∗ of length λ. Additionally, 7 derives the label as follows: if there is a record ( 1−i, l∗) in uL, extract l∗ from it; otherwise, set l∗ . Then, outputs (sid, l∗, k∗) to P . If there is no such interrupted record, continues to relay ki and l′. Since the simulators described in game G3 and game G4 do not make use of the TestPwd interface, none of the records of are marked as interrupted and thus the output towards is equally distributed in both games. Game G5: handles dictionary attacks against the client 0 using the TestPwd interface. In th...
FIC. A. Unit employees shall pay the employee portion of FICA and the City shall be responsible for payment of the employer’s portion.
FIC. A. – Police Unit employees will pay employee portion of FICA and the City shall be responsible for payment of the employer's portion.