Stephen Hawking with formulas