Title: A guide to specifying concrete