och är i antagande.