The Portia 2 Stack