valid_typing
