(If you check the output is at the top of board.)