Refine exp12