Logarithmic geometry and Frobenius | Synapse