  We prove that a long iteration of rational maps is expanding near boundaries
of bounded type Siegel disks. This leads us to extend Petersen's local
connectivity result on the Julia sets of quadratic Siegel polynomials to a
general case. A new key feature in the proof is that the puzzles are not used.
