Refactor mult using lift