what must contain this? (and add the check)