1: \begin{proof}[Proof of Theorem~\ref{mirror_affinestringy}] 

2: Part a) is the combination of Cor.~\ref{basechange} and Theorem~\ref{Thm_logdeRham}.

3: To prove part b), note that the general fibre $X_t$ has isolated

4: singularities in these cases. Each singularity is described by a local model as referred to in Prop.~\ref{localmodels}. 

5: See also (\cite{grosie2}, Prop.~2.2). The degeneration is locally $\Spec \k[ K^\dual\cap (M_\tau\oplus\ZZ^2)]\ra \Spec \k[\NN]$

6: where $K$ is the cone over $(\tau\times \{e_1\})\cup (\Delta_\tau\times \{e_2\})$. Here, 

7: $\tau,\Delta_\tau\subset N_\tau\otimes\RR$, $N_\tau$ is a lattice of rank $\dim B-1$, $M_\tau=\Hom(N_\tau,\ZZ)$ and the generator of $\NN$ maps to $e_1^*$.

8: The general fibre is thus locally given by $\k[C(\Delta_\tau)^\dual\cap (M_\tau\oplus\ZZ)]$. So we have a singularity in

9: $X_t$ for each non-standard inner monodromy polytope $\Delta_\tau$. In case c), these

10: are non-standard elementary 3-simplices. 

11: In case a), these are intervals of length greater than one.\\

12: Borisov and Mavlyutov have identified a space whose dimension 

13: gives the difference $h^{p,q}_\st-h^{p,q}$ (see \cite{bormav},~Def.~8.1). For each singularity this is

14: $R_1( \omega_{\check\tau},C(\Delta_{\check\tau}))$ for some general $\check \omega_{\check\tau}$.

15: Under mirror symmetry, the K\"ahler parameter $\omega_{\check\tau}$ is supposed to become

16: the log moduli parameter $f_\tau$. 

17: Even though we cannot make this rigorous at the moment, we still have 

18: $\dim R_1(\omega_{\check\tau},C(\Delta_{\check\tau}))=\dim R_1(f_\tau,C(\check\Delta_\tau))$ because

19: an inner monodromy polytope of $(\check B,\check\P)$ is an outer monodromy polytope of

20: $(B,\P)$, i.e., $\Delta_{\check\tau}=\check\Delta_{\tau}$. Using Cor.~\ref{twistedcomputed}, Lemma~\ref{compareRs} and Lemma~\ref{elemthreesimplex},

21: we deduce the result.

22: \end{proof}

23: