1: \begin{definition} {\rm (Curve counts at the tangencies)}  

2:   Define two new maps composing resp. precomposing with projection

3:   onto the span of the self-tangency points: Define

4: %

5: \[ \nu_{d,\pm}^b : CF(\phi_0)^{\otimes d} \to CF(\phi_0), 

6: \quad \nu_{d,+}^b = \Pi \circ \mu_d^b, \quad \nu_{d,-}^b = \mu_d^b

7: \circ \Pi^d.

8:  \]

9: %

10:  The maps $\nu_{d,\pm}^b$ count holomorphic tree disks with boundary

11:  insertion such that the only allowed outputs resp. inputs are the

12:  self-tangency points.  Define

13: %

14: \[ \iota:  CF(\phi_0) \to CF(\phi_t), \quad v_{0,\pm} \mapsto

15: \eps_\pm \ol{v}_{t,\mp} \]

16: %

17: where $\eps_\pm \in \{ \pm 1 \}$ are the signs of the small strips in

18: Theorem \ref{smallstrip}.  Let $A_t$ denote the area of the small

19: strip in Theorem \ref{smallstrip}.  Since

20: %

21: \[ \lim_{t \to 0} A_t = 0, \quad 

22: \lim_{t \to 0} \val_q(\nu_{0,\pm}^b(1)) > 0\]

23: %

24: we have   positive $q$-valuation 

25: %

26: \[\val_q( q^{-A_t} \iota(\nu_{0,+}^{b_{-t}}(1)) ) > 0 .\] 

27: %

28: \end{definition}