devised