Because then they wouldn't have contracts in C++.