Email (record): Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol