public class Lab extends Dog { // ... }