Model representation of division