implement return (di)
some arithmetic (di)