Claim: Luxo Jr. is a short film.
Evidence: Luxo Jr. is a 1986 American computer-animated short film produced by Pixar and directed by John Lasseter.