SUMMARY SPECIFICATION