For making fancy contracts in markdown