Domain Theory 2 (protected)