The tunneling effect predicted by B.Josephson (Nobel Prize, 1973) concerns the Josephson junction: two superconductors separated by a narrow dielectric. It states existence of a supercurrent through it and equations governing it. The overdamped Josephson junction is modeled by a family of differential equations on 2-torus depending on 3 parameters: B (abscissa), A (ordinate), ω (frequency). We study its rotation number ρ(B, A; ω) as a function of (B, A) with fixed ω. The phase-lock areas are the level sets L r := {ρ = r} with non-empty interiors; they exist for r ∈ Z (Buchstaber, Karpov, Tertychnyi). Each L r is an infinite chain of domains going vertically to infinity and separated by points called constrictions (expect for those with A = 0). We show that: 1) all the constrictions in L r lie in its axis {B = ωr} (confirming a conjecture of Tertychnyi, Kleptsyn, Filimonov, Schurov); 2) each constriction is positive: some its punctured neighborhood in the vertical line lies in Int(L r ) (confirming another conjecture). We first prove deformability of each constriction to another one, with arbitrarily small ω, of the same ρ, := B ω and type (positive or not), using equivalent description of model by linear systems of differential equations on C (Buchstaber, Karpov, Tertychnyi) and studying their isomonodromic deformations described by Painlevé 3 equations 1 . Then non-existence of ghost constrictions (i.e., constrictions either with ρ = , or of nonpositive type) with a given for small ω is proved by slow-fast methods.