OTC-traded contracts are just as formal. I’d say that these markets are generally more formal in practice due to the lack of retail actors who don’t understand the microstructure, sources of risk, or how to price their assets individually and across their book.