After further discussion, I think that it's ok if they are.