Preserving Expected Behavior - Behavioral Subtyping: Beyond Syntax to Semantics | OneNoughtOne