T ?-tosp .. r , div ^.