Formelt är det tydligendet