For this example, it looks good now. Both the be-inheritance and the SV-rule are applied. :)