Type Checking
Type Checking for label method