KNOWING TYPE