Title: A proof system for a sequential object-based language