Rough implementation of a post-spec summary