System (Extended Version)