let us assume they do such things