Premise: Luxo Jr. . The short was the first work of animation to use procedural animation , the software written by Eben Ostby .
Hypothesis: Luxo Jr. is a clothing line.
Label: CONTRADICTION