* If the class invariant AND precondition are true before a supplier is called by a client, then the invariant AND the postcondition will be true after the service has been completed.

If a precondition is violated, the effect of the section of code becomes undefined and thus may or may not carry out its intended work.

If a method call is suspended for too long, then the overall program will slow down or stop, waiting for the precondition to be satisfied.

" As a precondition for negotiations Wilson demanded the retreat of Germany from all occupied territories, the cessation of submarine activities and the Kaiser's abdication, writing on 23 October: " If the Government of the United States must deal with the military masters and the monarchical autocrats of Germany now, or if it is likely to have to deal with them later in regard to the international obligations of the German Empire, it must demand not peace negotiations but surrender.

# If P, then Q.

# If isotherms are concave towards the " north-east " direction ( 45 °), then adiabats are concave towards the " east north-east " ( 31 °).

# If adiabats and isotherms are graphed severally at regular changes of entropy and temperature, respectively ( like altitude on a contour map ), then as the eye moves towards the axes ( towards the south-west ), it sees the density of isotherms stay constant, but it sees the density of adiabats grow.

# If morality is objective and absolute, God must exist.

# If the beat on the new record hits before the beat on the current record then the new record is too fast, reduce the pitch and manually slow the speed of the new record to bring the beats back in sync.

# If the beat on the new record hits after the beat on the current record then the new record is too slow, increase the pitch and manually increase the speed of the new record to bring the beats back in sync.

# It's Not Funny If I Have To Explain It — 2004 ; strips from 1997 to 2004, with more of Adams ' handwritten notes

# I Can't Remember If We're Cheap or Smart — 2012

# If equals are added to equals, then the wholes are equal.

# If equals are subtracted from equals, then the remainders are equal.

# If the remainder from dividing N by 6 is not 2 or 3 then the list is simply all even numbers followed by all odd numbers ≤ N

# If the remainder is 2, swap 1 and 3 in odd list and move 5 to the end ( i. e. 3, 1, 7, 5 )

# If the remainder is 3, move 2 to the end of even list and 1, 3 to the end of odd list ( i. e. 4, 6, 8, 2-5, 7, 9, 1, 3 )

# If the design is symmetrical in an axis parallel to the flag pole, obverse and reverse will be identical despite the mirror-reversal, such as the Indian Flag or Canadian Flag

# If not, the obverse and reverse will present two variants of the same design, one with the hoist on the left ( usually considered the obverse side, see flag illustrations ), the other with the hoist on the right ( usually considered the reverse side of the flag ).

# If two straight lines in a plane are crossed by another straight line ( called the transversal ), and the interior angles between the two lines and the transversal lying on one side of the transversal add up to less than two right angles, then on that side of the transversal, the two lines extended will intersect ( also called the parallel postulate ).

# Associativity: If a * b and b * c are defined, then ( a * b ) * c and a * ( b * c ) are defined and equal.

# Identity: If a * b is defined, then a * b * b < sup >− 1 </ sup >

# If it persists, " gather facts and seek help.

# If the noun is animate, natural gender tends to dictate grammatical gender.

# If the borrowed word happens to have a suffix that the borrowing language uses as a gender marker, the suffix tends to dictate gender.

# If the borrowed word rhymes with one or more native words, the latter tend to dictate gender.

# If a project's spending becomes too much for a committee to continue funding, it must take the issue to the Project Committee.

# Affordable premium: If the likelihood of an insured event is so high, or the cost of the event so large, that the resulting premium is large relative to the amount of protection offered, it is not likely that the insurance will be purchased, even if on offer.

# If the German Armed Forces ( Wehrmacht ) were not in a position to break the danger from the Eastern front, then Nazi Germany would fall to Bolshevism, and all of Europe would fall shortly afterward ;

If we are to believe the list of titles printed in Malraux's latest book, La Metamorphose Des Dieux, Vol. 1 ( ( 1957 ), he is still engaged in writing a large novel under his original title.

If desired, sprinkle with 1 teaspoon drained crushed pineapple.

If the Af bond is linear then there are three reasonable positions for the hydrogen atoms: ( 1 ) The hydrogen atoms are centered and hence all lie on a sheet midway between the oxygen sheets ; ;

If, in a certain part of the range, it starts life 1 foot longer than do any of the other ( relatively large ) giants, and reaches maturity at, let us guess, 18 inches longer than the others, a quadrupling of the maturity length would result in a maximum of ( nearly ) 40 feet.

If, at any time during the assignment pass, the compiler finds that there are no more index words available for assignment, the warning message `` No More Index Words Available '' will be placed in the object program listing, the table will be altered to show that index words 1 through 96 are available, and the assignment will continue as before.

If the compiler finds that there are no more electronic switches available for assignment, the warning message `` No More Electronic Switches Available '' will be placed in the object program listing, the table will be altered to show that electronic switches 1 through 30 are available, and assignment will continue as before.

If the resulting four kilobyte table size is too large for a given target platform, the table lookup operation can be performed with a single 256-entry 32-bit ( i. e. 1 kilobyte ) table by the use of circular rotates.

Theorem: If K < sub > 1 </ sub > and K < sub > 2 </ sub > are the complexity functions relative to description languages L < sub > 1 </ sub > and L < sub > 2 </ sub >, then there is a constant c – which depends only on the languages L < sub > 1 </ sub > and L < sub > 2 </ sub > chosen – such that

If more than one player selects a tile in that row, then the player whose tile is in the leftmost column ( closest to 1 ) goes first.

If the color were fully green, its RGBA would be ( 0, 1, 0, 0. 5 ).

* If the balance factor of R is + 1, two different rotations are needed.

* If the balance factor of L is + 1, a single right rotation ( with P as the root ) is needed ( Left-Left case ).

If there is refraction at a collective spherical surface, or through a thin positive lens, O ' 2 will lie in front of O ' 1 so long as the angle u2 is greater than u1 ( under correction ); and conversely with a dispersive surface or lenses ( over correction ).

If the angle u1 is very small, O ' 1 is the Gaussian image ; and O ' 1 O ' 2 is termed the longitudinal aberration, and O ' 1R the lateral aberration of the pencils with aperture u2.

If the pencil with the angle u2 is that of the maximum aberration of all the pencils transmitted, then in a plane perpendicular to the axis at O ' 1 there is a circular disk of confusion of radius O ' 1R, and in a parallel plane at O ' 2 another one of radius O ' 2R2 ; between these two is situated the disk of least confusion.

If the object point O is infinitely distant, u1 and u2 are to be replaced by h1 and h2, the perpendicular heights of incidence ; the sine condition then becomes sin u ' 1 / h1 = sin u ' 2 / h2.

If the function R is well-defined, its value must lie in the range, with 1 indicating perfect correlation and − 1 indicating perfect anti-correlation.

If there is no number to its left, simply look at the column headed " 1 " in the previous row.

If a detector was placed at a distance of 1 m, the ion flight times would be X and Y ns.

If the boat floats, the mass of the boat ( plus contents ) as a whole divided by the volume below the waterline is equal to the density of water ( 1 kg / l ).

* The Lusternik – Schnirelmann theorem: If the sphere S < sup > n </ sup > is covered by n + 1 open sets, then one of these sets contains a pair ( x, − x ) of antipodal points.