Conversion types and formulas