I understand Liksov’s substitution is a definition that implements “strong behavioral sub-typing” which defines rules a child method must abide by when overriding its parent method. Does Liskov’s substitution define anything when it come to adding additional child methods its parent does NOT have?