A Look at Verifiable Performance Objectives