Ministry of Defence Main Building (United Kingdom) each and cost £12,600. Similar figures representing "air" and "fire" were intended to be installed at the south end of the building, however these were never constructed. During the 1950s, building staff nicknamed the statues "Mr and Mrs Parkinson", after Cyril Northcote Parkinson, the Board of Trade civil servant who devised Parkinson's Law which states "work expands so as to fill the time available for its completion". More recently MOD staff refer to the statues as the "two fat ladies". The badge of the RAF is carved into stone columns either side of the southern entrance to the building, reflecting
Law of noncontradiction Law of noncontradiction In classical logic, the law of non-contradiction (LNC) (also known as the law of contradiction, principle of non-contradiction (PNC), or the principle of contradiction) states that contradictory statements cannot both be true in the same sense at the same time, e.g. the two propositions ""A is B"" and ""A is not B"" are mutually exclusive. It is the second of the three classic laws of thought. The principle was stated as a theorem of propositional logic by Russell and Whitehead in "Principia Mathematica" as: The law of non-contradiction, along with its complement, the law of excluded middle