THE FORMAL APPROACH