Title: Mechanical mathematics and inferential analysis