Link to alternative approach to writing policy specs