Title: Automated theorem proving in the ProTem programming language