THE SHORTEST FORMULA