The difference between simple contracts and formal contracts