Think in Math. Write in Code