När bör domen verkställas?