Technically I thought they cannot pay out in dividends unless there is a profit declared. You can do a special dividend or a capital return, but I doubt either of these are on the agenda.