A buncha math I did today