Как раз правильные - договор есть, машина есть, ПТС есть. Чего мудрить-то?
Чтобы обнаруживать ошибки, программист должен иметь ум, которому доставляет удовольствие находить изъяны там, где, казалось, царят красота и совершенство. Фредерик Брукс-младший