a classic double stack in Models