Title: The Programming and Proof System ATES