everything corresponds to the declared