Title: Apte+ Proves C2