type consistency