Title: A complete proof system for SCCS with modal assertions