10 Logics Proving the Need for Performance Testing