WP125: Formalizing Assumptions to Document Limitations of Building Performance Measurement Systems