Back-up Commit for work on ABZ Templates Paper