The notion of subtyping has gained an important role both in theoretical and applicative domains: in lambda and concurrent calculi as well as in programming languages. The soundness and the completeness. together referred to as the preciseness of subtyping. can be considered from two different points of view: operational and denotational. https://www.roneverhart.com/Sheepshead-Bay-Boats-2-Brooklyn-NY/