michael devine