Metrics, habits, bots and journaling — short, with formulas and examples. No signals and no promises of returns.