State some things explicitly.