There is no MonkWiki page "Behavioral Subtyping". Search <a href="https://www.google.com/search?q=behavioral+subtyping" target="_blank">Google</a>.