example placeholders in sect. 5.6 and 9