After months of arguments over the status of the central bank the government still has not begun formal talks with the IMF.

ECONOMIST: The worst performer in central Europe

It is to replace, in proofs, standard mathematical reasoning which, in essence, relies on hand-waving arguments (it should be obvious to everyone that B follows from A) with formal logic.

ECONOMIST: Just what does it mean to prove something?